Bug #5112
Mise à jour de gno-menu
Statut:
Fixed - Corrigé - Implémenté
Priorité:
Haute
Assigné à:
Version cible:
Début:
30/07/2020
Echéance:
% réalisé:
100%
Description
Une mise à jour de gno-menu semble indispensable, par moment j'ai des erreurs de type "JS ERROR: Exception in callback for signal: hot-corners-changed: (null)"
Historique
#1 Mis à jour par Eric Seigne il y a plus de 4 ans
Origine: https://redmine.abuledu.org/projects/abuledu-dvd-client/wiki/Page_des_profils_1908
Par chance il existe une version plus récente que la v25 ... pour gnome-shell 3.28 : la v26
https://github.com/The-Panacea-Projects/Gnomenu/releases/tag/gno-menu.v26
#2 Mis à jour par Eric Seigne il y a plus de 4 ans
- Statut changé de New - Nouveau à Fixed - Corrigé - Implémenté
- % réalisé changé de 0 à 100
C'est fait dans horizon-profiles 19.08.2abuledu1, j'ai réussi à passer en v27 et je n'ai plus les bugs de JS ... croisons les doigts